<?php

/* Deprecated
 * - still around for backwards compatibility. 
 */

class DB {

	public static $db;	

}

?>